L'articolo offre una panoramica sull'articolazione di un problema di riconoscibilità, noto nella semantica BHK, rispetto alla proof-theoretic semantics e alla teoria dei grounds del logico svedese Dag Prawitz.
Riconoscibilità nelle semantiche di Dag Prawitz / PICCOLOMINI d' ARAGONA, Antonio. - (2016). (Intervento presentato al convegno AISC Mid-Term 2016 tenutosi a Napoli).
Riconoscibilità nelle semantiche di Dag Prawitz
PICCOLOMINI d' ARAGONA, ANTONIO
2016
Abstract
L'articolo offre una panoramica sull'articolazione di un problema di riconoscibilità, noto nella semantica BHK, rispetto alla proof-theoretic semantics e alla teoria dei grounds del logico svedese Dag Prawitz.File allegati a questo prodotto
| File | Dimensione | Formato | |
|---|---|---|---|
|
Piccolomini_Riconoscibilità_2016.pdf
accesso aperto
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
2.38 MB
Formato
Adobe PDF
|
2.38 MB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
